Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
191	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
192	PDF Document Add to Reading List Source URL: www.narrabri.atnf.csiro.au Language: English - Date: 2010-03-06 23:05:17 Geodesy Relativity Frames of reference Very Long Baseline Interferometry Inertial frame of reference Non-inertial reference frame Inertia Physics Classical mechanics Introductory physics
193	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Constraint programming Problem solving Non-classical logic Automated planning and scheduling Constraint satisfaction problem Control theory Planning Modal logic Mind Logic Science Philosophical logic
194	Tectonophysics–29 www.elsevier.com/locate/tecto Active deformation in the inner western Alps inferred from comparison between 1972-classical and 1996-GPS geodetic surveys Add to Reading List Source URL: isterre.fr Language: English Solid mechanics Deformation Geophysics Tensors Non-Newtonian fluids Plasticity Shear Geodesy Plate tectonics Mechanics Geology Physics
195	Administration 1. Critiques of Readings: • Feedback (Scott). • Given this feedback, if you wish to postpone handing in your critique until Monday, that’s fine. 2. Paper Presentations: I am still waiting to hear fro Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-16 16:55:30 Information science Artificial intelligence Description logic Non-classical logic Logic Criticism Science Knowledge Academia
196	A short guide to the Museum of Ancient Art – Print and bring along! Introduction The Museum of Ancient Art is a university museum at Aarhus University and originates from a study collection, which was established in 1 Add to Reading List Source URL: ias.au.dk Language: English - Date: 2014-11-17 02:35:04 Visual arts Greek temples Greek culture Conversion of non-Christian places of worship into churches Conversion of non-Muslim places of worship into mosques Parthenon Phidias Athena Classical Athens Ancient Greece Greece Acropolis of Athens
197	PDF Document Add to Reading List Source URL: zeszyty-naukowe.wwsi.edu.pl Language: English - Date: 2014-12-22 08:14:41 Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming
198	PDF Document Add to Reading List Source URL: whiteprivilegeconference.com Language: English - Date: 2014-03-19 18:05:35 Accessibility We Knowledge Science Modal logic Non-classical logic Philosophical logic
199	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
200	Agent-based semantic composition of Web services using distributed description logics Mourad Ouziri and Damien Pellier LIPADE, Universit´e Paris Descartes 45 rue des Saints P`eres, 75006 Paris, France {mourad.ouziri,dam Add to Reading List Source URL: www.math-info.univ-paris5.fr Language: English - Date: 2012-07-06 09:32:23 Information science Information Artificial intelligence Non-classical logic Year of birth missing Description logic Ontology Katia Sycara Semantic Web Web services Science

UPDATE